Implementing the Dynamic Behavior Represented as Multiple State Diagrams and Activity Diagrams

نویسندگان

  • Jauhar Ali
  • Jiro Tanaka
چکیده

A system is introduced which automatically generates implementation code from the object and dynamic models of an application. We found that the behavior of active objects can well be represented by activity diagrams rather than state diagrams. The paper first explains our approach to convert state diagrams as well as activity diagrams into implementation code. The paper then describes our system, dCode, which automatically generates executable Java code from the object diagram, state diagrams and activity diagrams of an application.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Implementing the Dynamic Behavior Represented as

1 Current affiliation is Software Research Associates (SRA) Inc., 3-12 Yotsuya, Shinjuku-ku, Tokyo 160-0004 Japan E-mail: [email protected] 2 Institute of Information Sciences and Electronics, University of Tsukuba, Tsukuba, Ibaraki 305-8573, Japan E-mail: [email protected] Abstract A system is introduced which automatically generates implementation code from the object and dynamic models of an ...

متن کامل

Implementation of the Dynamic Behavior of Object Oriented System

Object oriented methodologies such as Object Modeling Technique (OMT), suggest to create different models of a system indicative of its static structure and dynamic behavior. Converting the static structure (usually represented as an ER-style diagram) into implementation code is already much understood. On the contrary, implementing the dynamic behavior is rather less understood and is consider...

متن کامل

Testing the Consistency of Dynamic

The Unified Modeling Language (UML) offers different diagrams to depict the behavior of a modeled system and its elements. When employing different diagrams during modeling, it has to be ensured that these different specifications are consistent. The consistency conditions depend on the diagrams involved, the development process employed, and the current stage of the development. In order to en...

متن کامل

Constraint-oriented formal modelling of OO-systems

In addition to static structures, the Unified Modelling Language UML supports the specification of dynamic properties by means of state charts and interaction diagrams. Each diagram, however, only reflects partial aspects of the system. A common behavior model is lacking while it is necessary to relate the diagrams with each other and to enable the verification of dynamic system properties. The...

متن کامل

Integrated Model Checking of Static Structure and Dynamic Behavior using Temporal Description Logics

This paper presents a new notation for the formal representation of the static structure and dynamic behavior of software, based on description logics and temporal logics. The static structure as described by UML class diagrams is represented formally by description logics while the dynamic behavior is represented by linear temporal logic and state transition systems. We integrate these descrip...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1998